- axiomatizá
- vb. (sil. -xi-o-), ind. prez. 1 sg. axiomatizéz, 3sg.şipl. axiomatizeázã
Dictionar Ortografic al Limbii Române Pentru Elevi. 2013.
axiomatizá
Look at other dictionaries:
axiomatiza — AXIOMATIZÁ, axiomatizez, vb. tranz. A reduce la un şir de axiome. [pr.: xi o ] – Din fr. axiomatiser. Trimis de ana zecheru, 13.09.2007. Sursa: DEX 98 axiomatizá vb. (sil. xi o ), ind. prez. 1 sg … Dicționar Român
axiomatizare — AXIOMATIZÁRE, axiomatizări, s.f. Acţiunea de a axiomatiza. [pr.: xi o ] – v. axiomatiza. Trimis de ana zecheru, 13.09.2007. Sursa: DEX S 88 axiomatizáre s. f. (sil. xi o ), g. d. art. axiomatizării; pl. axiomatizări Trimis de siveco, 10.08.20 … Dicționar Român
ACL2 — es, a la vez, un lenguaje de programación, una lógica matemática para especificar y demostrar formalmente propiedades de los programas escritos en dicho lenguaje, y un demostrador automático de teoremas que asiste al usuario en dicha tarea. ACL2… … Wikipedia Español
Geometría — Alegoría de la Geometría. La Geometría (del latín geometrĭa, que proviene del idioma griego γεωμετρία, geo tierra y metria medida), es una rama de la matemática que se ocupa del estudio de las propiedades de las figuras geométricas en el plano o… … Wikipedia Español
